Desire: Modelling Multi-Agent Systems in a Compositional Formal Framework
نویسندگان
چکیده
منابع مشابه
DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework
This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent sys...
متن کاملCompositional Formal Specification of Multi-Agent Systems
In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a general multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patter...
متن کاملA Framework for Modelling Multi-agent Systems
Modelling and reasoning about multi-agent systems has been one of the main problems for designers of distributed systems. In this paper we present a logical framework for representing and reasoning about these systems. The framework uses the idea of contexts as presented by Giunchiglia and his colleagues and the ideas regarding multi-agent systems as presented by Morley, George , and Rao. The n...
متن کاملFormal Framework for Adaptive Multi-Agent Systems
Evolution of software challenges multi-agent systems to be adaptive and the adaptation capabilities should be provided at both the agent level and the system level. In this paper, we study the adaptation of multi-agent systems from the system level and describe a formal framework for multi-agent systems with adaptation capabilities. In the framework, agents are indirectly inter-connected via ro...
متن کاملA Framework for the Formal Analysis of Multi-Agent Systems
In this paper we present an integrated formal framework for the speci cation and analysis of Multi-Agent Systems (MAS). Agents are speci ed in a synchronous programming language called Secure Operations Language (SOL) which supports the modular development of secure agents. Multi-agent systems are constructed from individual agent modules by using the composition operator of SOL, the semantics ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Cooperative Information Systems
سال: 1997
ISSN: 0218-8430,1793-6365
DOI: 10.1142/s0218843097000069